Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
-
The annual CONVECS seminar was held in Charavines (France) on May 27–29, 2015. The following invited scientists attended the seminar:
-
Chris Myers (University of Utah, USA) visited us from June 8–12, 2015. He gave a talk entitled “An Integrated Verification Architecture” on June 9, 2015.
-
Hernan Ponce de Leon (Aalto University, Finland) visited us from June 29 to July 1, 2015. He gave a talk entitled “Unfolding Based Testing for Multithreaded Programs” on June 29, 2015.